skip to main content

Explore Research Products in the NSF-PAR

  • Home
  • Search Results
  • Page 1 of 1

Search for: All records

Creators/Authors contains: "Jinghan, Sun"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. ; ; ; ; ( , Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI'22))
    Accepted Manuscript Full Text Available
  2. ; ; ; ; ( , Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI'22))
    Accepted Manuscript Full Text Available
  3. ; ; ; ; ( , Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI'22))
    Accepted Manuscript Full Text Available
  4. ; ; ( , Proceedings of the 12th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage'20))
    null (Ed.)
    Parallel file systems (PFSes) and parallel I/O libraries have been the backbone of high-performance computing (HPC) infrastructures for decades. However, their crash consistency bugs have not been extensively studied, and the corresponding bug-finding or testing tools are lacking. In this paper, we first conduct a thorough bug study on the popular PFSes, such as BeeGFS and OrangeFS, with a cross-stack approach that covers HPC I/O library, PFS, and interactions with local file systems. The study results drive our design of a scalable testing framework, named PFSCHECK. PFSCHECK is easy to use with low performance overhead, as it can automatically generate test cases for triggering potential crash-consistency bugs, and trace essential file operations with low overhead. PFSCHECK is scalable for supporting large-scale HPC clusters, as it can exploit the parallelism to facilitate the verification of persistent storage states. 
    more » « less
    Accepted Manuscript Full Text Available